3.2.88 \(\int \frac {(a g+b g x) (A+B \log (e (\frac {a+b x}{c+d x})^n))^2}{c i+d i x} \, dx\) [188]

3.2.88.1 Optimal result
3.2.88.2 Mathematica [B] (verified)
3.2.88.3 Rubi [A] (verified)
3.2.88.4 Maple [F]
3.2.88.5 Fricas [F]
3.2.88.6 Sympy [F]
3.2.88.7 Maxima [F]
3.2.88.8 Giac [F]
3.2.88.9 Mupad [F(-1)]

3.2.88.1 Optimal result

Integrand size = 43, antiderivative size = 303 \[ \int \frac {(a g+b g x) \left (A+B \log \left (e \left (\frac {a+b x}{c+d x}\right )^n\right )\right )^2}{c i+d i x} \, dx=\frac {g (a+b x) \left (A+B \log \left (e \left (\frac {a+b x}{c+d x}\right )^n\right )\right )^2}{d i}+\frac {2 B (b c-a d) g n \left (A+B \log \left (e \left (\frac {a+b x}{c+d x}\right )^n\right )\right ) \log \left (\frac {b c-a d}{b (c+d x)}\right )}{d^2 i}+\frac {(b c-a d) g \left (A+B \log \left (e \left (\frac {a+b x}{c+d x}\right )^n\right )\right )^2 \log \left (\frac {b c-a d}{b (c+d x)}\right )}{d^2 i}+\frac {2 B^2 (b c-a d) g n^2 \operatorname {PolyLog}\left (2,\frac {d (a+b x)}{b (c+d x)}\right )}{d^2 i}+\frac {2 B (b c-a d) g n \left (A+B \log \left (e \left (\frac {a+b x}{c+d x}\right )^n\right )\right ) \operatorname {PolyLog}\left (2,\frac {d (a+b x)}{b (c+d x)}\right )}{d^2 i}-\frac {2 B^2 (b c-a d) g n^2 \operatorname {PolyLog}\left (3,\frac {d (a+b x)}{b (c+d x)}\right )}{d^2 i} \]

output
g*(b*x+a)*(A+B*ln(e*((b*x+a)/(d*x+c))^n))^2/d/i+2*B*(-a*d+b*c)*g*n*(A+B*ln 
(e*((b*x+a)/(d*x+c))^n))*ln((-a*d+b*c)/b/(d*x+c))/d^2/i+(-a*d+b*c)*g*(A+B* 
ln(e*((b*x+a)/(d*x+c))^n))^2*ln((-a*d+b*c)/b/(d*x+c))/d^2/i+2*B^2*(-a*d+b* 
c)*g*n^2*polylog(2,d*(b*x+a)/b/(d*x+c))/d^2/i+2*B*(-a*d+b*c)*g*n*(A+B*ln(e 
*((b*x+a)/(d*x+c))^n))*polylog(2,d*(b*x+a)/b/(d*x+c))/d^2/i-2*B^2*(-a*d+b* 
c)*g*n^2*polylog(3,d*(b*x+a)/b/(d*x+c))/d^2/i
 
3.2.88.2 Mathematica [B] (verified)

Leaf count is larger than twice the leaf count of optimal. \(1385\) vs. \(2(303)=606\).

Time = 0.56 (sec) , antiderivative size = 1385, normalized size of antiderivative = 4.57 \[ \int \frac {(a g+b g x) \left (A+B \log \left (e \left (\frac {a+b x}{c+d x}\right )^n\right )\right )^2}{c i+d i x} \, dx =\text {Too large to display} \]

input
Integrate[((a*g + b*g*x)*(A + B*Log[e*((a + b*x)/(c + d*x))^n])^2)/(c*i + 
d*i*x),x]
 
output
(g*(3*b*d*x*(A + B*Log[e*((a + b*x)/(c + d*x))^n] - B*n*Log[(a + b*x)/(c + 
 d*x)])^2 - 3*(b*c - a*d)*(A + B*Log[e*((a + b*x)/(c + d*x))^n] - B*n*Log[ 
(a + b*x)/(c + d*x)])^2*Log[c + d*x] - 3*a*B*d*n*(A + B*Log[e*((a + b*x)/( 
c + d*x))^n] - B*n*Log[(a + b*x)/(c + d*x)])*(Log[c/d + x]^2 + 2*(Log[a/b 
+ x] - Log[c/d + x] - Log[(a + b*x)/(c + d*x)])*Log[c + d*x] - 2*(Log[a/b 
+ x]*Log[(b*(c + d*x))/(b*c - a*d)] + PolyLog[2, (d*(a + b*x))/(-(b*c) + a 
*d)])) - 3*B*n*(A + B*Log[e*((a + b*x)/(c + d*x))^n] - B*n*Log[(a + b*x)/( 
c + d*x)])*(-2*d*(a + b*x)*(-1 + Log[a/b + x]) + 2*b*(c + d*x)*(-1 + Log[c 
/d + x]) - b*c*Log[c/d + x]^2 + 2*b*(Log[a/b + x] - Log[c/d + x] - Log[(a 
+ b*x)/(c + d*x)])*(d*x - c*Log[c + d*x]) + 2*b*c*(Log[a/b + x]*Log[(b*(c 
+ d*x))/(b*c - a*d)] + PolyLog[2, (d*(a + b*x))/(-(b*c) + a*d)])) + a*B^2* 
d*n^2*(Log[c/d + x]^3 + 3*Log[c/d + x]^2*(-Log[a/b + x] + Log[(d*(a + b*x) 
)/(-(b*c) + a*d)]) + 3*(-Log[a/b + x] + Log[c/d + x] + Log[(a + b*x)/(c + 
d*x)])^2*Log[c + d*x] + 3*Log[a/b + x]^2*Log[(b*(c + d*x))/(b*c - a*d)] + 
6*Log[a/b + x]*PolyLog[2, (d*(a + b*x))/(-(b*c) + a*d)] + 3*(Log[a/b + x] 
- Log[c/d + x] - Log[(a + b*x)/(c + d*x)])*(Log[c/d + x]^2 - 2*(Log[a/b + 
x]*Log[(b*(c + d*x))/(b*c - a*d)] + PolyLog[2, (d*(a + b*x))/(-(b*c) + a*d 
)])) + 6*Log[c/d + x]*PolyLog[2, (b*(c + d*x))/(b*c - a*d)] - 6*PolyLog[3, 
 (d*(a + b*x))/(-(b*c) + a*d)] - 6*PolyLog[3, (b*(c + d*x))/(b*c - a*d)]) 
+ B^2*n^2*(3*d*(2*b*x - 2*(a + b*x)*Log[a/b + x] + (a + b*x)*Log[a/b + ...
 
3.2.88.3 Rubi [A] (verified)

Time = 0.52 (sec) , antiderivative size = 280, normalized size of antiderivative = 0.92, number of steps used = 4, number of rules used = 3, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.070, Rules used = {2961, 2795, 2009}

Below are the steps used by Rubi to obtain the solution. The rule number used for the transformation is given above next to the arrow. The rules definitions used are listed below.

\(\displaystyle \int \frac {(a g+b g x) \left (B \log \left (e \left (\frac {a+b x}{c+d x}\right )^n\right )+A\right )^2}{c i+d i x} \, dx\)

\(\Big \downarrow \) 2961

\(\displaystyle \frac {g (b c-a d) \int \frac {(a+b x) \left (A+B \log \left (e \left (\frac {a+b x}{c+d x}\right )^n\right )\right )^2}{(c+d x) \left (b-\frac {d (a+b x)}{c+d x}\right )^2}d\frac {a+b x}{c+d x}}{i}\)

\(\Big \downarrow \) 2795

\(\displaystyle \frac {g (b c-a d) \int \left (\frac {\left (A+B \log \left (e \left (\frac {a+b x}{c+d x}\right )^n\right )\right )^2}{d \left (\frac {d (a+b x)}{c+d x}-b\right )}+\frac {b \left (A+B \log \left (e \left (\frac {a+b x}{c+d x}\right )^n\right )\right )^2}{d \left (\frac {d (a+b x)}{c+d x}-b\right )^2}\right )d\frac {a+b x}{c+d x}}{i}\)

\(\Big \downarrow \) 2009

\(\displaystyle \frac {g (b c-a d) \left (\frac {2 B n \operatorname {PolyLog}\left (2,\frac {d (a+b x)}{b (c+d x)}\right ) \left (B \log \left (e \left (\frac {a+b x}{c+d x}\right )^n\right )+A\right )}{d^2}+\frac {2 B n \log \left (1-\frac {d (a+b x)}{b (c+d x)}\right ) \left (B \log \left (e \left (\frac {a+b x}{c+d x}\right )^n\right )+A\right )}{d^2}+\frac {\log \left (1-\frac {d (a+b x)}{b (c+d x)}\right ) \left (B \log \left (e \left (\frac {a+b x}{c+d x}\right )^n\right )+A\right )^2}{d^2}+\frac {(a+b x) \left (B \log \left (e \left (\frac {a+b x}{c+d x}\right )^n\right )+A\right )^2}{d (c+d x) \left (b-\frac {d (a+b x)}{c+d x}\right )}+\frac {2 B^2 n^2 \operatorname {PolyLog}\left (2,\frac {d (a+b x)}{b (c+d x)}\right )}{d^2}-\frac {2 B^2 n^2 \operatorname {PolyLog}\left (3,\frac {d (a+b x)}{b (c+d x)}\right )}{d^2}\right )}{i}\)

input
Int[((a*g + b*g*x)*(A + B*Log[e*((a + b*x)/(c + d*x))^n])^2)/(c*i + d*i*x) 
,x]
 
output
((b*c - a*d)*g*(((a + b*x)*(A + B*Log[e*((a + b*x)/(c + d*x))^n])^2)/(d*(c 
 + d*x)*(b - (d*(a + b*x))/(c + d*x))) + (2*B*n*(A + B*Log[e*((a + b*x)/(c 
 + d*x))^n])*Log[1 - (d*(a + b*x))/(b*(c + d*x))])/d^2 + ((A + B*Log[e*((a 
 + b*x)/(c + d*x))^n])^2*Log[1 - (d*(a + b*x))/(b*(c + d*x))])/d^2 + (2*B^ 
2*n^2*PolyLog[2, (d*(a + b*x))/(b*(c + d*x))])/d^2 + (2*B*n*(A + B*Log[e*( 
(a + b*x)/(c + d*x))^n])*PolyLog[2, (d*(a + b*x))/(b*(c + d*x))])/d^2 - (2 
*B^2*n^2*PolyLog[3, (d*(a + b*x))/(b*(c + d*x))])/d^2))/i
 

3.2.88.3.1 Defintions of rubi rules used

rule 2009
Int[u_, x_Symbol] :> Simp[IntSum[u, x], x] /; SumQ[u]
 

rule 2795
Int[((a_.) + Log[(c_.)*(x_)^(n_.)]*(b_.))^(p_.)*((f_.)*(x_))^(m_.)*((d_) + 
(e_.)*(x_)^(r_.))^(q_.), x_Symbol] :> With[{u = ExpandIntegrand[(a + b*Log[ 
c*x^n])^p, (f*x)^m*(d + e*x^r)^q, x]}, Int[u, x] /; SumQ[u]] /; FreeQ[{a, b 
, c, d, e, f, m, n, p, q, r}, x] && IntegerQ[q] && (GtQ[q, 0] || (IGtQ[p, 0 
] && IntegerQ[m] && IntegerQ[r]))
 

rule 2961
Int[((A_.) + Log[(e_.)*(((a_.) + (b_.)*(x_))/((c_.) + (d_.)*(x_)))^(n_.)]*( 
B_.))^(p_.)*((f_.) + (g_.)*(x_))^(m_.)*((h_.) + (i_.)*(x_))^(q_.), x_Symbol 
] :> Simp[(b*c - a*d)^(m + q + 1)*(g/b)^m*(i/d)^q   Subst[Int[x^m*((A + B*L 
og[e*x^n])^p/(b - d*x)^(m + q + 2)), x], x, (a + b*x)/(c + d*x)], x] /; Fre 
eQ[{a, b, c, d, e, f, g, h, i, A, B, n, p}, x] && NeQ[b*c - a*d, 0] && EqQ[ 
b*f - a*g, 0] && EqQ[d*h - c*i, 0] && IntegersQ[m, q]
 
3.2.88.4 Maple [F]

\[\int \frac {\left (b g x +a g \right ) {\left (A +B \ln \left (e \left (\frac {b x +a}{d x +c}\right )^{n}\right )\right )}^{2}}{d i x +c i}d x\]

input
int((b*g*x+a*g)*(A+B*ln(e*((b*x+a)/(d*x+c))^n))^2/(d*i*x+c*i),x)
 
output
int((b*g*x+a*g)*(A+B*ln(e*((b*x+a)/(d*x+c))^n))^2/(d*i*x+c*i),x)
 
3.2.88.5 Fricas [F]

\[ \int \frac {(a g+b g x) \left (A+B \log \left (e \left (\frac {a+b x}{c+d x}\right )^n\right )\right )^2}{c i+d i x} \, dx=\int { \frac {{\left (b g x + a g\right )} {\left (B \log \left (e \left (\frac {b x + a}{d x + c}\right )^{n}\right ) + A\right )}^{2}}{d i x + c i} \,d x } \]

input
integrate((b*g*x+a*g)*(A+B*log(e*((b*x+a)/(d*x+c))^n))^2/(d*i*x+c*i),x, al 
gorithm="fricas")
 
output
integral((A^2*b*g*x + A^2*a*g + (B^2*b*g*x + B^2*a*g)*log(e*((b*x + a)/(d* 
x + c))^n)^2 + 2*(A*B*b*g*x + A*B*a*g)*log(e*((b*x + a)/(d*x + c))^n))/(d* 
i*x + c*i), x)
 
3.2.88.6 Sympy [F]

\[ \int \frac {(a g+b g x) \left (A+B \log \left (e \left (\frac {a+b x}{c+d x}\right )^n\right )\right )^2}{c i+d i x} \, dx=\frac {g \left (\int \frac {A^{2} a}{c + d x}\, dx + \int \frac {A^{2} b x}{c + d x}\, dx + \int \frac {B^{2} a \log {\left (e \left (\frac {a}{c + d x} + \frac {b x}{c + d x}\right )^{n} \right )}^{2}}{c + d x}\, dx + \int \frac {2 A B a \log {\left (e \left (\frac {a}{c + d x} + \frac {b x}{c + d x}\right )^{n} \right )}}{c + d x}\, dx + \int \frac {B^{2} b x \log {\left (e \left (\frac {a}{c + d x} + \frac {b x}{c + d x}\right )^{n} \right )}^{2}}{c + d x}\, dx + \int \frac {2 A B b x \log {\left (e \left (\frac {a}{c + d x} + \frac {b x}{c + d x}\right )^{n} \right )}}{c + d x}\, dx\right )}{i} \]

input
integrate((b*g*x+a*g)*(A+B*ln(e*((b*x+a)/(d*x+c))**n))**2/(d*i*x+c*i),x)
 
output
g*(Integral(A**2*a/(c + d*x), x) + Integral(A**2*b*x/(c + d*x), x) + Integ 
ral(B**2*a*log(e*(a/(c + d*x) + b*x/(c + d*x))**n)**2/(c + d*x), x) + Inte 
gral(2*A*B*a*log(e*(a/(c + d*x) + b*x/(c + d*x))**n)/(c + d*x), x) + Integ 
ral(B**2*b*x*log(e*(a/(c + d*x) + b*x/(c + d*x))**n)**2/(c + d*x), x) + In 
tegral(2*A*B*b*x*log(e*(a/(c + d*x) + b*x/(c + d*x))**n)/(c + d*x), x))/i
 
3.2.88.7 Maxima [F]

\[ \int \frac {(a g+b g x) \left (A+B \log \left (e \left (\frac {a+b x}{c+d x}\right )^n\right )\right )^2}{c i+d i x} \, dx=\int { \frac {{\left (b g x + a g\right )} {\left (B \log \left (e \left (\frac {b x + a}{d x + c}\right )^{n}\right ) + A\right )}^{2}}{d i x + c i} \,d x } \]

input
integrate((b*g*x+a*g)*(A+B*log(e*((b*x+a)/(d*x+c))^n))^2/(d*i*x+c*i),x, al 
gorithm="maxima")
 
output
A^2*b*g*(x/(d*i) - c*log(d*x + c)/(d^2*i)) + A^2*a*g*log(d*i*x + c*i)/(d*i 
) + (B^2*b*d*g*x - (b*c*g - a*d*g)*B^2*log(d*x + c))*log((d*x + c)^n)^2/(d 
^2*i) - integrate(-(B^2*a*d*g*log(e)^2 + 2*A*B*a*d*g*log(e) + (B^2*b*d*g*x 
 + B^2*a*d*g)*log((b*x + a)^n)^2 + (B^2*b*d*g*log(e)^2 + 2*A*B*b*d*g*log(e 
))*x + 2*(B^2*a*d*g*log(e) + A*B*a*d*g + (B^2*b*d*g*log(e) + A*B*b*d*g)*x) 
*log((b*x + a)^n) - 2*(B^2*a*d*g*log(e) + A*B*a*d*g - (b*c*g*n - a*d*g*n)* 
B^2*log(d*x + c) + ((g*n + g*log(e))*B^2*b*d + A*B*b*d*g)*x + (B^2*b*d*g*x 
 + B^2*a*d*g)*log((b*x + a)^n))*log((d*x + c)^n))/(d^2*i*x + c*d*i), x)
 
3.2.88.8 Giac [F]

\[ \int \frac {(a g+b g x) \left (A+B \log \left (e \left (\frac {a+b x}{c+d x}\right )^n\right )\right )^2}{c i+d i x} \, dx=\int { \frac {{\left (b g x + a g\right )} {\left (B \log \left (e \left (\frac {b x + a}{d x + c}\right )^{n}\right ) + A\right )}^{2}}{d i x + c i} \,d x } \]

input
integrate((b*g*x+a*g)*(A+B*log(e*((b*x+a)/(d*x+c))^n))^2/(d*i*x+c*i),x, al 
gorithm="giac")
 
output
integrate((b*g*x + a*g)*(B*log(e*((b*x + a)/(d*x + c))^n) + A)^2/(d*i*x + 
c*i), x)
 
3.2.88.9 Mupad [F(-1)]

Timed out. \[ \int \frac {(a g+b g x) \left (A+B \log \left (e \left (\frac {a+b x}{c+d x}\right )^n\right )\right )^2}{c i+d i x} \, dx=\int \frac {\left (a\,g+b\,g\,x\right )\,{\left (A+B\,\ln \left (e\,{\left (\frac {a+b\,x}{c+d\,x}\right )}^n\right )\right )}^2}{c\,i+d\,i\,x} \,d x \]

input
int(((a*g + b*g*x)*(A + B*log(e*((a + b*x)/(c + d*x))^n))^2)/(c*i + d*i*x) 
,x)
 
output
int(((a*g + b*g*x)*(A + B*log(e*((a + b*x)/(c + d*x))^n))^2)/(c*i + d*i*x) 
, x)